Temporal Requirements for Anticipatory Reasoning about Intentional Dynamics in Social Contexts
نویسندگان
چکیده
In this paper a temporal trace language is defined in which formulae can be expressed that provide an external temporal grounding of intentional notions. Justifying conditions are presented that formalise criteria that a (candidate) formula must satisfy in order to qualify as an external representation of a belief, desire or intention. Using these conditions, external represenation formulae for intentional notions can be identified. Using these external representations, anticipatory reasoning about intentional dynamics can be performed.
منابع مشابه
Temporal Analysis of the Dynamics of Beliefs, Desires, and Intentions
In this paper a temporal trace language is defined in which statements can be expressed that provide an external temporal grounding of intentional notions. Justifying conditions are presented that formalise criteria that a (candidate) statement must satisfy in order to qualify as an external representation of a belief, desire or intention. Using these conditions, external representation stateme...
متن کاملEfficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
A practical anticipatory system with requirements of high reliability and high security must be able to perform any anticipatory reasoning to get enough effective conclusions anticipatorily within an acceptable time in order to satisfy the requirements from applications. This is a contradictory requirement since the execution time of anticipatory reasoning gets longer in proportion to the amoun...
متن کاملAdolescents' emotions and reasoning in contexts of moral conflict and social exclusion.
This article explores how adolescents feel and think about contexts of moral conflict and social exclusion. We asked twelve-year-old adolescents how they would feel about intentionally harming another peer, omitting a prosocial duty, and excluding another peer. We then asked them to explain the reasoning behind their feelings and report on levels of sympathy. In all contexts, adolescents antici...
متن کاملEthnomethodology and Conversational Analysis
In a speech community, people utilize their communicative competence which they have acquired from their society as part of their distinctive sociolinguistic identity. They negotiate and share meanings, because they have commonsense knowledge about the world, and have universal practical reasoning. Their commonsense knowledge is embodied in their language. Thus, not only does social life depend...
متن کاملThe temporal representation and reasoning of complex events
This paper introduces a formalization of complex events. In particular, a formalism is presented to represent intentional and causal events in narrative contexts, and in their mechanisms of composition. Complex events have been defined through classes of a formal ontology that has been called the Ontology of Complex Events (OntoCE). This approach has allowed for the applications (reuse) of exis...
متن کامل